Masses of a Fourth Generation with Two Higgs Doublets

We use sampling techniques to find robust constraints on the masses of a possible fourth sequential fermion generation from electroweak oblique variables. We find that in the case of a light (115 GeV) Higgs from a single electroweak symmetry breaking doublet, inverted mass hierarchies are possible for both quarks and leptons, but a mass splitting more than M(W) in the quark sector is unlikely. We also find constraints in the case of a heavy (600 GeV) Higgs in a single doublet model. As recent data from the Large Hadron Collider hints at the existence of a resonance at 124.5 GeV and a single Higgs doublet at that mass is inconsistent with a fourth fermion generation, we examine a type II two Higgs doublet model. In this model, there are ranges of parameter space where the Higgs sector can potentially counteract the effects of the fourth generation. Even so, we find that such scenarios produce qualitatively similar fermion mass distributions.Comment: v2: 9 pages, 7 figures, improved analysis of Higgs decay constraints, typos corrected and reference adde

Quantitative Models and Implicit Complexity

We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Elementary Affine Logic, LFPL (a language for polytime computation close to realistic functional programming introduced by one of us), Light Affine Logic and Soft Affine Logic. The proofs are based on a common semantical framework which is merely instantiated in four different ways. The framework consists of an innovative modification of realizability which allows us to use resource-bounded computations as realisers as opposed to including all Turing computable functions as is usually the case in realizability constructions. For example, all realisers in the model for LFPL are polynomially bounded computations whence soundness holds by construction of the model. The work then lies in being able to interpret all the required constructs in the model. While being the first entirely semantical proof of polytime soundness for light logi cs, our proof also provides a notable simplification of the original already semantical proof of polytime soundness for LFPL. A new result made possible by the semantic framework is the addition of polymorphism and a modality to LFPL thus allowing for an internal definition of inductive datatypes.Comment: 29 page

Separating NC along the δ axis

AbstractThe “δ axis” consists of certain classes Nk such that uniform NC=⋃kNk. A diagonalization is used to prove that Nk≠Nk+1 for all k⩾0. This separation of NC along the δ axis does not imply NCk≠NCk+1, because the relationship between NCk and Nk is not known. However, it is argued that the δ axis provides a natural subdivision of NC. To support this, a careful analogy with the classes DTIME(nk) is made, illuminating a surprisingly close relationship between PTIME and NC. The definition of Nk uses ramified constructs related to a combination of parallel time and space

Resource Control for Synchronous Cooperative Threads

We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a \emph{synchronous} model of interaction based on cooperative threads whose execution proceeds in synchronous rounds called instants. Our contribution is a system of compositional static analyses to guarantee that each instant terminates and to bound the size of the values computed by the system as a function of the size of its parameters at the beginning of the instant. Our method generalises an approach designed for first-order functional languages that relies on a combination of standard termination techniques for term rewriting systems and an analysis of the size of the computed values based on the notion of quasi-interpretation. We show that these two methods can be combined to obtain an explicit polynomial bound on the resources needed for the execution of the system during an instant. As a second contribution, we introduce a virtual machine and a related bytecode thus producing a precise description of the resources needed for the execution of a system. In this context, we present a suitable control flow analysis that allows to formulte the static analyses for resource control at byte code level

The Power of Non-Determinism in Higher-Order Implicit Complexity

We investigate the power of non-determinism in purely functional programming languages with higher-order types. Specifically, we consider cons-free programs of varying data orders, equipped with explicit non-deterministic choice. Cons-freeness roughly means that data constructors cannot occur in function bodies and all manipulation of storage space thus has to happen indirectly using the call stack. While cons-free programs have previously been used by several authors to characterise complexity classes, the work on non-deterministic programs has almost exclusively considered programs of data order 0. Previous work has shown that adding explicit non-determinism to cons-free programs taking data of order 0 does not increase expressivity; we prove that this - dramatically - is not the case for higher data orders: adding non-determinism to programs with data order at least 1 allows for a characterisation of the entire class of elementary-time decidable sets. Finally we show how, even with non-deterministic choice, the original hierarchy of characterisations is restored by imposing different restrictions.Comment: pre-edition version of a paper accepted for publication at ESOP'1

Search for associated Higgs boson production using like charge dilepton events in p(p)over-bar collisions at root s=1.96 TeV

We present a search for associated Higgs boson production in the process p (p) over bar -> W/ZH -> l(+/-)l'(+/-) + X in ee, e mu, and mu mu final states. The search is based on data collected by the D0 experiment at the Fermilab Tevatron Collider at root s = 1.96 TeV corresponding to 5.3 fb(-1) of integrated luminosity. We require two isolated leptons (electrons or muons) with the same electric charge and additional kinematic requirements. No significant excess above background is observed, and we set 95% C. L. observed (expected) upper limits on ratio of the production cross section to the standard model prediction of 6.4 (7.3) for a Higgs boson mass of 165 GeV and 13.5 (19.8) for a mass of 115 GeV

Measurement of the antineutrino to neutrino charged-current interaction cross section ratio in MINERvA

We present measurements of the neutrino and antineutrino total charged-current cross sections on carbon and their ratio using the MINERvA scintillator-tracker. The measurements span the energy range 2-22 GeV and were performed using forward and reversed horn focusing modes of the Fermilab low-energy NuMI beam to obtain large neutrino and antineutrino samples. The flux is obtained using a subsample of charged-current events at low hadronic energy transfer along with precise higher energy external neutrino cross section data overlapping with our energy range between 12-22 GeV. We also report on the antineutrino-neutrino cross section ratio, R-CC, which does not rely on external normalization information. Our ratio measurement, obtained within the same experiment using the same technique, benefits from the cancellation of common sample systematic uncertainties and reaches a precision of similar to 5% at low energy. Our results for the antineutrino-nucleus scattering cross section and for RCC are the most precise to date in the energy range E-v \u3c 6 GeV

A Measurement of the KL Charge Asymmetry

We present a measurement of the charge asymmetry $\delta_L$ in the mode $K_L \to \pi^{\pm}e^{\mp}\nu$ based on 298 million analyzed decays. We measure a value of $\delta_L = (3322 \pm 58(stat) \pm 47(sys))\cdot 10^{-6}$, in good agreement with previous measurements and 2.4 times more precise than the current best published result. The result is used to place more stringent limits on CPT and $\Delta S = \Delta Q$ violation in the neutral kaon system.Comment: Submitted to Physical Review Letters, Dec 31, 2001. 4 pages, 4 figure

Search for Light Gluinos via the Spontaneous Appearance of pi+pi- Pairs with an 800 GeV/c Proton Beam at Fermilab

We searched for the appearance of pi+pi- pairs with invariant mass greater than 648 MeV in a neutral beam. Such an observation could signify the decay of a long-lived light neutral particle. We find no evidence for this decay. Our null result severely constrains the existence of an R0 hadron, which is the lightest bound state of a gluon and a light gluino, and thereby also the possibility of a light gluino. Depending on the photino mass, we exclude the R0 in the mass and lifetime ranges of 1.2 -- 4.6 GeV and 2E-10 -- 7E-4 seconds, respectively. (To Appear in Phys. Rev. Lett.)Comment: Documentstyle aps,epsfig,prl (revtex), 6 pages, 7 figure